A record type theoretic account of copredication and dynamic generalized quantification

In a recent paper Asher and Pustejovsky propose a type theoretical approach to account for cases of copredication which had motivated Pustejovsky to introduce dot types in the Generative Lexicon. In this paper I will propose an alternative treatment to that given by Asher and Pustejovsky using type theory with records. I will suggest that using record types not only gives us a simple and intuitive account of dot types but also makes an important connection between copredication and the use of hypothetical contexts in dynamic generalized quantifiers I have proposed in earlier work. More generally it allows us to preserve the intuitive feature structure based accounts of lexical analysis proposed in Pustejovsky’s original work on the Generative Lexicon while at the same time introducing functions and binding in the way that is necessary for giving formal accounts of compositional semantics.